Merge pull request #519 from vikramkanigiri/vk/misc_plat_reorg
authordanh-arm <[email protected]>
Tue, 16 Feb 2016 12:45:59 +0000 (12:45 +0000)
committerdanh-arm <[email protected]>
Tue, 16 Feb 2016 12:45:59 +0000 (12:45 +0000)
Vk/misc plat reorg


Trivial merge